Verifying micro-actions – how precise do we need to be?