JustMock R3 2016 (2016.3.914.2)
The below test will pass when the second ArrangeSet should fail instead. I tried reporting the issue through VS2013 but I got a CommunicationException error: The server did not provide a meaningful reply.
[TestMethod]
public void Test()
{
var pageMock = Mock.Create<IPage>()
Mock.ArrangeSet(() => pageMock.WebControl1.Enabled = false).OccursNever();
Mock.ArrangeSet(() => pageMock.WebControl2.Enabled = false).MustBeCalled();
Mock.Assert(pageMock);
}