module top (input clk, a, b);
	always @(posedge clk) begin
        if (a);
        else assume property (@(posedge clk) b);
	end

`ifndef FAIL
    assume property (@(posedge clk) !a);
`endif
    assert property (@(posedge clk) b);
endmodule