Add documentation to methods in Jasmin backend