coherentStepDeclarations