Adding simple (full) inference annotation scheme, which does not introduce method region parameters.