Added simple implementation of the pre-checker