[IMP-dev] Simplifying IMP usage