Added z3cform support