added verification of condition codes before execution