Better naming for inline node variables
Bug fix in type comparison for records
Bug fix in inlining node calls since they may appear in assertions now