Danger: Unsupported Precondition Initialisation Warning