Module

isPreconditionRequired