Fixed verification of intent bugs