added possibility to specify in hints how aggressively abstraction is applied