Added new tests for p:declare-step and p:import.
Tests XS0077 is raised if option/@visibility in prologue of p:library is not 'public | private'.