Adding pragma tests and documentation