Getting lhs and rhs of signature
Stack underflow check
Catching stack overflows