build LTL
generate process parameter
gen variable arguments
translate contract to buchi and to TRANS constraints
+ translate GTL into SMV
+ run NuSMV

TODO: Fix Problem with word and integer
OUTPUT:
TYPE ERROR file stdin: line 14 : illegal operand types of ">=" : unsigned word[32] and integer
TYPE ERROR file stdin: line 21 : illegal operand types of ">=" : unsigned word[32] and integer
TYPE ERROR file stdin: line 21 : illegal operand types of "<" : unsigned word[32] and integer
TYPE ERROR file stdin: line 8 : illegal operand types of ":=" : unsigned word[32] and integer