Added the assert fact support