From MethodProperties to Pragmas