Implement the includeExplicit attribute of @Inferred

[ledsoft]

The includeExplicit attribute of the @Inferred annotation is not heeded at the moment and such attributes always contain both explicit (asserted) and implicit (inferred) values. A proper implementation of this configuration should be added.