added assertions and examples files