declare assert-if-true for filesystem functions

declare assert-if-true for filesystem functions #6361