check in src and instrs for generating equations