Implemented Alloy-Ltl model code generator