Tests that proof not public constructors accessibility