add requires and ensures for ImportProcs using similar syntax