Representing Behavioural Models with Rich Control Structures in SMT-LIB