pact4s-common

Refactored hints
Added input-dependent hints for read and constant sets