Failing on: assigns, rte and positive variant
Uncommented necessary invariants, which do not pass yet
Merge branch 'nc-strcpy'. strcpy still not working :(
updated strcpy status