An interaction checker that aims to be as strict as possible. It is designed to catch programmer errors such as:
Private
An interaction checker that aims to be as strict as possible. It is designed to catch programmer errors such as: