Adapted complex-constraints and push/pop constraints to always connect the in and out stack of an instruction (if that's the semantics of the instruction anyway)
Merge branch 'typeAnalysis' of github.com:tudelft-mdsd/spoofax-jasmin into typeAnalysis