add source-code location annotation on 'requires' methods