Make file a required parameter for contracts
Add request_pattern parameter to contract initialization
Remove request_pattern attribuition from the stub method
BuiltIn doesn't need to return the pattern