add simplev to isa pseudocode